Prof. Dr. Jan Christiansen
Professor am Fachbereich Information und Kommunikation
Angewandte Informatik Anerkennung von Leistungen Fachliche Studienberatung
Telefon 0461/805-1668
Raum A 206
Professor für
Programmiersprachen und Theorie der Programmierung
Organisation
Zuständigkeiten
- Angewandte Informatik Anerkennung von Leistungen Fachliche Studienberatung
- TechStartUp@HS-Flensburg (TeStUp) Informatik | Software Factory
- Software Factory Ansprechpartner
Neuste Publikationen
2023
- Prott, K.-O. ., Teegen, F. ., & Christiansen, J. . (2023). Embedding Functional Logic Programming in Haskell via a Compiler Plugin. In Practical Aspects of Declarative Languages. Boston, MA, USA: Springer. http://doi.org/10.1017/978-3-031-24841-2_3
2020
- Dylus, S. ., Christiansen, J. ., & Teegen, F. . (2020). Implementing a Library for Probabilistic Programming Using Non-Strict Non-Determinism. Theory and Practice of Logic Programming, 20, 147–175. http://doi.org/10.1017/S1471068419000085
2019
- Dylus, S. ., Christiansen, J. ., & Teegen, F. . (2019). One Monad to Prove Them All. The Art, Science, and Engineering of Programming, 3. http://doi.org/10.22152/programming-journal.org/2019/3/8